Enriched Categories and Quasi-uniform Spaces
نویسندگان
چکیده
منابع مشابه
Convergence and quantale-enriched categories
Generalising Nachbin's theory of ``topology and order'', in this paper we continue the study of quantale-enriched categories equipped with a compact Hausdorff topology. We compare these $V$-categorical compact Hausdorff spaces with ultrafilter-quantale-enriched categories, and show that the presence of a compact Hausdorff topology guarantees Cauchy completeness and (suitably defined) ...
متن کاملMapping Spaces in Quasi-categories
We apply the Dwyer-Kan theory of homotopy function complexes in model categories to the study of mapping spaces in quasi-categories. Using this, together with our work on rigidification from [DS1], we give a streamlined proof of the Quillen equivalence between quasi-categories and simplicial categories. Some useful material about relative mapping spaces in quasi-categories is developed along th...
متن کاملCompleteness of Quasi-uniform and Syntopological Spaces
In this paper we begin to develop the filter approach to (completeness of) quasiuniform spaces, proposed in [8, Section V]. It will be seen that this permits a more powerful and elegant account of completion to be given than was feasible using sequences or nets [8]. Just as in the previous version [8], we find that received notions concerning convergence need to be revised and reformulated to d...
متن کاملRelationships between completeness of fuzzy quasi-uniform spaces
In this paper, we give a kind of Cauchy 1-completeness in probabilistic quasi-uniform spaces by using 1-filters. Utilizingthe relationships among probabilistic quasi-uniformities, classical quasi-uniformities and Hutton [0, 1]-quasi-uniformities,we show the relationships between their completeness. In fuzzy quasi-metric spaces, we establish the relationshipsbetween the completeness of induced p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2004
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2004.08.009